Minor tweaks for .gitignore

* .gitignore: Don't ignore versioned *.html and *.ps files.  Don't
ignore admin/notes/tags that might be ignored as TAGS on
case-insensitive filesystems.  (Bug#20710)

diff --git a/.gitignore b/.gitignore
index 2f47e3c4f15e57df11b7a2b56d5ad29c0b1a8c76..d7be8463da721df8e8f91b8eb5e209c2dec65675 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -155,6 +155,7 @@ test/etags/CTAGS
 
 # ctags, etags.
 TAGS
+!admin/notes/tags
 
 # GNU global.
 GPATH
@@ -207,7 +208,7 @@ lisp/international/uni-*.el
 *.dvi
 *.fn
 *.fns
-*.html
+doc/*/*.html
 !test/etags/html-src/*.html
 *.info
 *.ky
@@ -223,8 +224,7 @@ lisp/international/uni-*.el
 *.pgs
 *.pj
 *.pjs
-*.ps
-!test/etags/ps-src/*.ps
+doc/*/*.ps
 *.sc
 *.scs
 *.t2d/